Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
591	Latent Fault Detection in Cloud Services Mickey Gabela,b,1 , Ran Gilad-Bachracha , Nikolaj Bjørnera , Assaf Schustera,b,1 a Microsoft b Computer Research, Redmond, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-07-13 21:23:13 Turing machine Μ operator Models of computation Computability theory
592	Evolutionary Search for Cellular Automata Logic Gates with Collision-Based Computing Emmanuel Sapin Larry Bull Faculty of Computing, Engineering, and Mathematical Sciences, Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Theory of computation Mathematics Systems theory Reversible cellular automaton Block cellular automaton Cellular automata Cellular automaton Glider
593	ISSUES IN THE CONVERGENCE OF CONTROL WITH COMMUNICATION AND COMPUTATION BY SCOTT R. GRAHAM B.S., Brigham Young University, 1993 Add to Reading List Source URL: www.sigmobile.org Language: English - Date: 2013-08-14 12:38:09 Network Time Protocol Model predictive control Internet Network architecture Computing Control engineering Control theory Networked control system
594	On the (Im)possibility of Obfuscating Programs∗ Boaz Barak† Oded Goldreich‡ Amit Sahaik Add to Reading List Source URL: www.boazbarak.org Language: English - Date: 2012-08-02 17:50:31 Complexity classes Computability theory Theory of computation Pseudorandomness Models of computation Obfuscated code Oracle machine Algorithm P Theoretical computer science Computational complexity theory Applied mathematics
595	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:35 Programming language semantics Procedural programming languages Logic in computer science Functional languages Models of computation Standard ML Denotational semantics ALGOL 68 Eval Software engineering Computing Programming language theory
596	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:31 Mathematics Theory of computation Turing machine Models of computation Structure and Interpretation of Computer Programs Scheme Busy beaver Computability Alan Turing Computability theory Theoretical computer science Computer science
597	ICS 162 – Fall 2003 – Midterm Name: Student ID: 1: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2003-11-10 23:13:26 Models of computation Computer science Software engineering Regular language Deterministic finite automaton Context-free grammar Nondeterministic finite automaton Regular expression Book:Theory Of Computation Automata theory Formal languages Theoretical computer science
598	The Effectiveness of Flow Analysis for Inlining∗ J. Michael Ashley University of Kansas Snow Hall 415 Lawrence, Kansas 66045 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Subroutines Theoretical computer science Inline expansion Computability theory Models of computation Compiler optimization Lambda calculus Data-flow analysis Function Software engineering Computer programming Computing
599	Asia Pacific Mathematics Newsletter 1 OnDemons Demons and On Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2012-02-16 01:26:56 Applied mathematics Computability theory Models of computation Turing machine Alan Turing Hypercomputation Super-recursive algorithm Church–Turing thesis Computability Theoretical computer science Theory of computation Computer science
600	Automatic Classification of Restricted Lattice Walks Alin Bostan1† and Manuel Kauers2‡ 1 2 Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2009-06-01 10:23:24 Algebra Equations Polynomials Ordinary differential equations Recurrence relation Theory of computation Algebraic geometry Algebraic equation Algebraic number field Mathematics Mathematical analysis Abstract algebra

UPDATE